The Java Memory Model Simulator
نویسنده
چکیده
With the advent of modern, multithreaded programming languages, it has become vitally important to describe in a clear and understandable way how threads interact through memory. The existing Java Memory Model is fundamentally broken; the process of creating an appropriate replacement has demonstrated exactly how deeply complex these issues can be. A formal specification [MP01a] of a replacement memory model is being developed as part of the Java Community Process. As part of that effort, we have developed a simulator that reflects the current version of this model. This simulator has proved invaluable in this effort and will be an important tool for those trying to understand the final model.
منابع مشابه
DEUS: a discrete event universal simulator
Currently available discrete event simulation tools exhibit important limitations, either being too specific, or providing only a partial API and possibly not enough scalability. In this paper we introduce our novel general purpose simulator, called DEUS, which aims at becoming one of the reference tools in the field of complex system simulation. Its essential Java API provides basic interfaces...
متن کاملEnergy Behavior of Java Applications from the Memory Perspective
With the anticipated dramatic growth of computing devices for mobile and embedded environments, energy conscious hardware and software design has taken center-stage together with performance. At the same time, there is an increasing need to provide a portable and seamless software environment for application development and interoperability. This paper takes an important step in the con uence o...
متن کاملUSENIX Association Proceedings of the Java TM Virtual Machine Research and Technology Symposium ( JVM ' 01 )
With the anticipated dramatic growth of computing devices for mobile and embedded environments, energy conscious hardware and software design has taken center-stage together with performance. At the same time, there is an increasing need to provide a portable and seamless software environment for application development and interoperability. This paper takes an important step in the con uence o...
متن کاملA Java Based Simulator for the PeerSpaces Coordination Language
This technical report presents a Java-based simulator for the PeerSpaces coordination model. PeerSpaces is a shared space coordination model designed for ad hoc mobile networks. The model is based on the concept of tuple spaces firstly proposed by Linda parallel programming language. In order to suit well the dynamic environment that characterizes ad hoc networks, PeerSpaces does not assume the...
متن کاملProcess-oriented simulation for mixed-model assembly lines
In this paper a process-oriented simulator for assembly lines is presented. The simulator considers mixed model lines, with stochastic task times, the possibility to have parallel stations, and to consider different scheduling sequences. The simulator is a flexible supporting tool in finding solution of the assembly line balancing problem (and the optimal sequencing problem associated to it) an...
متن کامل